首页> 外文OA文献 >Deciding knowledge in security protocols for monoidal equational theories

【2h】

Deciding knowledge in security protocols for monoidal equational theories

机译：决定幺半群等式理论的安全协议知识

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Véronique Cortier; Stéphanie Delaune;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Deciding knowledge in security protocols under equational theories [J] . Martin Abadi, Veronique Cortier Theoretical computer science . 2006,第1a2期

机译：方程理论下的安全协议决定知识
2. DECIDING KNOWLEDGE IN SECURITY PROTOCOLS　UNDER SOME E-VOTING THEORIES [J] . MOUHEBEDDINE BERRIMA, NARJES BEN RAJEB, AND VERONIQUE CORTIER RAIRO Theoretical Informatics and Applications . 2011,第3期

机译：确定安全协议的知识-某些电子投票理论
3. Computing Knowledge in Security Protocols Under Convergent Equational Theories [J] . Stefan Ciobaca, Stephanie Delaune, Steve Kremer Journal of Automated Reasoning . 2012,第2期

机译：收敛方程理论下的安全协议计算知识
4. Deciding Knowledge in Security Protocols for Monoidal Equational Theories [C] . Veronique Cortier, Stephanie Delaune International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR 2007); 20071015-19; Yerevan(AM) . 2007

机译：关于单式方程理论的安全协议的决定性知识
5. Cryptographic Protocols with Strong Security: Non-Malleable Commitments, Concurrent Zero-Knowledge and Topology-Hiding Multi-Party Computation. [D] . Richelson, Silas Isaac. 2014

机译：具有强大安全性的加密协议：不可否认的承诺，并发零知识和隐藏拓扑的多方计算。
6. Using a Modified Theory of Planned Behavior to Examine Adolescents’ Workplace Safety and Health Knowledge Perceptions and Behavioral Intention: A Structural Equation Modeling Approach [O] . Rebecca J. Guerin, Michael D. Toland, Andrea H. Okun, -1

机译：使用计划的行为的修正理论来检查青少年的工作场所安全和健康知识知觉和行为意图：一种结构方程建模方法
7. Deciding knowledge in security protocols under (many more) equational theories [O] . 2016

机译：在（更多）等式理论下确定安全协议的知识

Deciding knowledge in security protocols for monoidal equational theories

著录项

引文网络

相似文献

相关主题

期刊订阅